منابع مشابه
On Nested Sequents for Constructive Modal Logics
We present deductive systems for various modal logics that can be obtained from the constructive variant of the normal modal logic CK by adding combinations of the axioms d, t, b, 4, and 5. This includes the constructive variants of the standard modal logics K4, S4, and S5. We use for our presentation the formalism of nested sequents and give a syntactic proof of cut elimination.
متن کاملCategorical and Kripke Semantics for Constructive Modal Logics
We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capture intensional features such as notions of computation, constraints, concurrency design, etc. Both systems have so far been studied mainly from a type-theoretic and category-theoretic perspectives, but Kripke models for simila...
متن کاملProducts of ‘ transitive ’ modal logics . Part I : ‘ negative ’ results Draft
Here we solve a number of major open problems concerning computational properties of products and commutators of two ‘transitive’ (but not ‘symmetric’) standard modal logics (such as, e.g., K4, S4, S4.1, Grz, or GL) by showing that all of them are undecidable and lack the (abstract) finite model property. Some of these products turn out to be even not recursively enumerable and some commutators...
متن کاملA uniform tableau method for intuitionistic modal logics I
We present tableau systems and sequent calculi for the intuitionistic analogues and IS5 of the normal classical modal logics. We provide soundness and completeness theorems with respect to the models of intuitionistic logic enriched by a modal accessibility relation, as proposed by G. We also investigate the relationship of these logics with some other intuitionistic modal logics proposed in th...
متن کاملPhysical Systems as Constructive Logics
This paper is an investigation of S. Wolfram’s Principle of Computational Equivalence’ – that (discrete) systems in the natural world should be thought of as performing computations. We take a logical approach, and demonstrate that under almost trivial (physically reasonable) assumptions, discrete evolving physical systems give a class of logical models. Moreover, these models are of intuitioni...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1990
ISSN: 0168-0072
DOI: 10.1016/0168-0072(90)90059-b